complete and bounded lattice